tetO-SHP2<E76K> http://identifiers.org/mgd/MGI:5688298 MGI:5688298 O transgene Tg(tetO-PTPN11*E76K)#Jiwu transgene insertion, Jie Wu Transgene